Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
481	FM 2015 Call for Papers 20th International Symposium on Formal Methods Oslo, Norway, 22–26 June 2015 http://fm2015.ifi.uio.no Formal Methods 2015 Add to Reading List Source URL: fm2015.ifi.uio.no Language: English - Date: 2014-09-02 17:56:51 International nongovernmental organizations Dines Bjørner Formal Methods Europe Software development process Academia Programming tool Systems engineering Science Software development Formal methods
482	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
483	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
484	An Optimality Principle for Concurrent Systems Langford B White and Sarah L Hickmott School of Electrical and Electronic Engineering The University of Adelaide Australia {lwhite, shick}@eleceng.adelaide.edu.au Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:17 Dynamic programming Markov decision process Stochastic control Interpretation Logic Linear temporal logic Μ operator Statistics Formal languages Model theory
485	An Explication of the De Hebdomadibus of Boethius in the Light of St Thomas’s Commentary Gerard Casey School of Philosophy University College Dublin Add to Reading List Source URL: www.ucd.ie Language: English - Date: 2014-06-09 05:00:07 Humanities Anicii Boethius Goths Consolation of Philosophy Axiom De Truth Ius Philosophy Formal systems Logic
486	IT Architecture Assessment \| Consulting \| Team Enhancement \| Training \| Certification Add to Reading List Source URL: icmgworld.com Language: English - Date: 2009-02-23 05:03:28 Enterprise modelling Formal methods Systems engineering Software project management Software development process IBM Rational Unified Process Enterprise Architect Business process modeling Model-driven architecture Software development Software Information technology management
487	Inference and Analysis of Formal Models of Botnet Command and Control Protocols Chia Yuan Cho Domagoj Babi´c Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Spamming Computer network security Multi-agent systems Botnet Simple Mail Transfer Protocol Communications protocol Finite-state machine Mealy machine Transmission Control Protocol Computing Data Models of computation
488	A Real Time Hybrid Pattern Matching Scheme for Stock Time Series Zhe Zhang1, Jian Jiang2, Xiaoyan Liu3, Ricky Lau4, Huaiqing Wang4, Rui Zhang3 1,4 Department of Information Systems, City University of Hong Kong, Hong Kon Add to Reading List Source URL: www.ruizhang.info Language: English - Date: 2009-12-09 23:59:37 Formal sciences Financial economics Dynamic time warping Time series analysis Pattern matching Pattern Technical analysis Data mining Correlation and dependence Statistics Dynamic programming Data analysis
489	Embedded Software Business Unit OAK SYSTEMS is a boutique Independent Software V & V and Testing Company headquartered in Bangalore, India and has been helping clients globally providing quality software solutions and se Add to Reading List Source URL: oaksys.net Language: English - Date: 2013-04-05 08:27:36 Technology Formal methods Software quality Software engineering Evaluation Quality assurance Software development process DO-178B Verification and validation Software development Software testing Computing
490	A Language for Biochemical Systems: Design and Formal Specification Michael Pedersen and Gordon D. Plotkin LFCS, School of Informatics, University of Edinburgh Abstract. This paper introduces a Language for Biochemical Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-22 11:50:31 Signal transduction Protein kinases Mitogen-activated protein kinase Arc Petri net Gene expression Messenger RNA Biology Biochemistry Molecular biology

UPDATE